Самая большая электронная библиотека рунета. Поиск книг и журналов
↓

Adjuna

 Автор:
Категория: fiction
Размер книги: 3.38 Mb

Adjuna

 Автор:
Категория: fiction
Размер книги: 3.68 Mb

Computer Aided Verification, 19 conf., CAV 2007

 Автор: , Автор:
Категория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 7.71 Mb

CONCUR 2006 - Concurrency Theory, 17 conf., CONCUR 2006

 Автор: , Автор:
Категория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 5.16 Mb

Validation of Stochastic Systems - A Guide to Current Research

 Автор: , Автор: , Автор: , Автор: , Автор:
Категория: CsLn_
Размер книги: 5.22 Mb

Interactive Markov Chains

 Автор:
Размер книги: 2.64 Mb